query(p86,p(_684200),[p(a),p(b1),p(b2),p(b3),p(b4),p(b5),p(b6),p(b7),p(b8),p(b9),p(b10),p(c1),p(c2),p(c3),p(c4),p(c5),p(c6),p(c7),p(c8),p(c9)],[p(b1),p(b3),p(b5),p(b7),p(b9),p(c2)],[]).
%-----------------------------------------------------------

:- table p / 1.

p(A) :- t(A,B,C), tnot(p(B)), tnot(p(C)).
p(A) :- p0(A).
p0(c2).
t(a,a,b1).
t(b1,c1,b2).
t(b2,c2,b3).
t(b3,c3,b4).
t(b4,c4,b5).
t(b5,c5,b6).
t(b6,c6,b7).
t(b7,c7,b8).
t(b8,c8,b9).
t(b9,c9,b10).
